<header> KDC </header> Il nome di un host che esegue un KDC per quel dominio, con il suo numero di porta opzionale. <br> Questo dovrebbe essere usato solo se le informazioni KDC non sono disponibili tramite DNS. <hr>